Union Catalogue of Belgian Libraries
Listing 1 - 10 of 143
|
<<
page
>>
|
Sort by
|
Book
First-order logic
Author:
Smullyan, Raymond M..
ISBN: 3540040994 3642867200 3642867189 9783540040996
Year: 1971
Volume: 43
Publisher: Berlin Springer
Loading...
Export citation
Choose an application
Practical logic
Loading...
Export citation
Choose an application
Book
Logical systems containing only a finite number of symbols
Author:
Henkin, Leon
ISBN: 0840500734 9780840500731
Year: 1967
Volume: 21
Publisher: Montréal Presses de l'Université de Montréal
Loading...
Export citation
Choose an application
Book
Non-archimedean utility theory
Author:
Skala, Heinz J.
ISBN: 9027703523 9401017263 9401017247
Year: 1975
Publisher: Dordrecht Reidel
Loading...
Export citation
Choose an application
Book
Unvollständigkeit und Unentscheidbarkeit : die mathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung
Author:
Stegmüller, Wolfgang
ISBN: 3211812083 3709183529 9783211812082
Year: 1973
Publisher: Wien Springer
Loading...
Export citation
Choose an application
Foundations of the logical theory of scientific knowledge (complex logic)
Loading...
Export citation
Choose an application
Book
Logique et informatique : une introduction
Loading...
Export citation
Choose an application
Book
Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
Author:
Sinowjew, A. A.
ISBN: 3528082887
Year: 1970
Publisher: Braunschweig Vieweg
Loading...
Export citation
Choose an application
Multi
Meta-mathematical aspects of Martin-Löf's type theory
Loading...
Export citation
Choose an application
Book
Language, proof and logic
Loading...
Export citation
Choose an application
Listing 1 - 10 of 143
|
<<
page
>>
|
Sort by
|